Erros: tipo(T), modo(M), dominio(D), semanticos(aparte)




----------------------------------------------------------------

BUFFER_SET


buffer_set(5, 1, 5) - T


buffer_new(A), buffer_set(A, nonsense, 5) - T


buffer_set(NONSENSE, 1, 5) - M


buffer_new(A), buffer_set(A, NONSENSE, 5) - M


buffer_new(A), buffer_set(A, 1, NONSENSE) - M //funcional na proxima versao


buffer_new(A), buffer_set(A, 0, 5) - D



--

BUFFER_SIZE


buffer_size(5, N, 5) - T


buffer_size(NONSENSE, N, 5) - M


buffer_new(A), buffer_size(A, N, NONSENSE) - M


--

BUFFER_NEW


buffer_new(5) - T


--

BUFFER_DELETE


buffer_delete(5) - T



buffer_delete(NONSENSE) - M


--


BUFFER_GET



buffer_get(5, 1, T) - T


buffer_new(A), buffer_get(A, nonsense, T) - T


buffer_get(NONSENSE, 1, T) - M


buffer_new(A), buffer_get(A, NONSENSE, T) - M


buffer_new(A), buffer_get(A, 0, T) - D

--


BUFFER_WRITE


buffer_write(5) - T


buffer_write(NONSENSE) - M


